『Property-based testing: a new approach to testing for assurance』 - mrsekut-p

『Property-based testing: a new approach to testing for assurance』

Property based testingの初出らしい

https://dl.acm.org/doi/10.1145/263244.263267